$\forall$$a$, $b$, $n$:$\mathbb{Z}$. \{($a$ $\leq$ $b$) $\Leftarrow\!\Rightarrow$ (($a$+$n$) $\leq$ ($b$+$n$))\}